I said NOT(rule in "fundamental restrictions") AND (rule is XXX). You showed (XXX in "restrictions"). It would have been sufficient to prove my statement false if "fundamental restrictions" === "restrictions", but it is not.