I can do this, but come on, this is the usual way to do define things via: "Let <object x instance of class foo> be such that <list of constraints>", i.e. you already know you are defining something, so no need to explicitly annotate it everywhere.