Smarter_ProofHQ_Aproval2