Okay. This sounds like a larger topic, so I will drop it for now, but I wonder maybe if we should treat rule variables and variables in the configuration term as belonging to separate namespaces. Is there any situation where you /do/ want unification to treat a variable in a rule as the same variable as another variable?