That requirement eliminates a bunch of ambiguities because there are cases where an

@rule

already has a Y available from a caller that are currently considered to be ambiguous (ie: the engine asks "should I use Param(Y), or consume this rule that requires a Y?", and both are possible).