Bound variables have no semantic content outside their binding operator; range-narrowed expressions ...
This proposition has not been edited since the history system was added.