LANGUAGE LOGIC AND PROOF ANSWER KEY