Variable Binding via STP