In this presentation a tool will presented that is designed to teach mathematical logic to computer science students. In the design, a balance has to be found between user-adaptability and conventions, between user control and system control. A tool should be useful for beginners and advanced students alike. This makes it necessary that it is flexible but changes only slowly with the continued learning of a student.