Silva, C.Y. 2014. Reasoning with Kio and Gus. Analytic Teaching. 5, 1 (Jun. 2014).