Proof_Strategy_Language.Try_Hard