To start a new proof in pandora you can use any the following options:

• Select new from the File Menu
• Click on the new button in the Toolbar. The button is on the far left and shows a picture of a blank page.
• Click on the start a new proof hyperlink in the welcome page displayed when you first load Pandora.

Once you have opened a new proof a blank proof window will be displayed for you to use. You will now need to add the given formula lines for your proof and set the proof's conclusion. For more details on how to do this see Adding given lines and Setting the proofs conclusion.

Once you have entered you conclusion you can then apply rules to your proof, Note that you will not be able to apply any rules until you have entered the proof's conclusion.