 As one very special case of this maximality result, in which the algebra reduct of M has only a single fundamental operation (f, as above, say), we get a stronger conclusion about the consequence relations ⊢f and ⊢g determined by Vf and Vg than our earlier conclusion that these consequence relations are distinct: we get the conclusion that neither is included in the other. Taking the A and D of M = (A, D) as ({T, F}, f) and {T}, the consequence relation ⊢f is what Rautenberg is calling ⊨M, and if this were properly included in ⊢g we should have a contradiction with the above result, since the latter consequence relation is certainly non-trivial and substitution-invariant. Thus informally speaking, even in the relatively undiscriminating framework Set-Fmla, the logic of one truth-function never subsumes that of another. Less informally: even in Set-Fmla, a fully determined connective is never a proper subconnective of another fully determined connective.