Logic growing pains iii