Declaraties: Controleer de bewijssilhouetten Controleer de gevolgtrekkingen
Opdrachten: Voer uit (Ctrl+Enter) Reset machine en voer uit (Shift+Ctrl+Enter) Stap door
Uitdrukking: Evalueer (Ctrl+Enter) Stap door
Uitkomsten: Wissen
Stap Kleine stap Stap over Stap uit Voer verder uit Reset (Ctrl+Esc)