Brock and Urick do Logic Problems