Renamed ProofGenerator to ProofSystem