¹¹More precisely, the scope of applicability of operator evaluation strategies is restricted to functional modules and to the equational part of system modules.