publication venue for The Logic Daemon: Colin Allens Computer-Based Contributions to Logic Pedagogy. 15:41-45. 2015