On proving functional incompleteness in symbolic logic classes. - Francis Jeffry Pelletier; W. David Sharp (Notre Dame J. Formal Log., 1988)