added some things to Proofessor