Do not quantify over the function itself in a RULE