Title: Equational characterization of binding (Extended Abstract)