Logic I, Professor Paton