Reasoning With Kio and Gus. AT 1984, 5 (1), 22-29.