Skeleton of mp() method. Added methods to ProofTree.