ProofGenerator updated