Definition of TO BIND, OR TO BIND OVER