Proof_Strategy_Language