A note about unification variables.