Two comments on Lemmon's Beginning logic. - Barry Coburn; David Miller (Notre Dame J. Formal Log., 1977)