Classical Variable Binding