³To be precise, the _:: S operators are added to any module which has a distinct free constant with each of the special attributes SystemTrue and SystemFalse. In practice, the operators are added whenever the functional module TRUTH-VALUE is imported.