Definition of Binding Over