W. Snyder

• The experiences of Uncle Jack
• Grammatical pioneer or national instructor
• Proof Theory for General Unification