a¬ ron : Term.