Here is the selector that selects (based on the tag of the formal parameter) the correct binding function for each argument. Click on the binding-functions to see them in detail.