Definition of TO EXECUTE