Added statement validity, altered parenthesis removal, ProofStatement needs testing