Bound variables are artifacts of notation; what we're *really* committed to depends on interpretatio...
This proposition has not been edited since the history system was added.