the Pandora Tutor       A Pandora Tutor is a software agent that aims at helping you to get started with Pandora. When you are trying out a Pandora tutorial, you may get advice from the "Tutor" through the dialog on the right hand side of each tutorial exercise. The Pandora Tutor uses a set of heuristics when helping you in doing a Natural Deduction proof. Some of the heuristics are summarised on the Hints page.