 In the non-adjunctive system of Rescher and Manor, a consequence relation is defined over some maximally consistent subset of the premises. This can be seen as a way to ‘measure’ the level of consistency in the premise set. The level of \(\{p, q\}\) is 1 since the maximally consistent subset is the set itself. The level of \(\{p, \neg p\}\), however, is 2: \(\{p\}\) and \(\{\neg p\}\).