(* Proposed by Benjamin *)
Definition A := Try REflexivity.