Binding arguments and hidden variables