divides the class of all possible basic statements unambiguously into the following two nonempty subclasses. First, the class of all those basic statements with which it is inconsistent (or which it rules out, or prohibits) secondly, the class of those basic statements which it does not contradict (or which it ‘permits’) ([3], p. 86).