Edited to fit new ProofSoFar class, still need to adapt the toString() method