You are reporting ProofMethod