414	  McCarthy, John  (1964) A Tough Nut for Proof Procedures.  [Preprint]