If variables have no intrinsic verbal character, substitution instances should be unpredictable, yet...
This proposition has not been edited since the history system was added.