Redesigned ProofGenerator