deprecated the binder, added the universal quantifier to the hybridisation