Adding the ProofSoFar class.