1984. Reasoning with Kio and Gus. Analytic Teaching. 5, 1 (Dec. 1984), 22–29.