E.J. Lemmon, 1965: Beginning Logic