Having formalised conjunction formula_36, one wishes to continue with the other connectives. One approach to doing that is to introduce negation as an order-reversing map formula_42, then defining remaining connectives using De Morgan's laws, material implication, and the like. A problem with doing so is that the resulting logics may have undesirable properties: they may be too close to classical logic, or if not conversely not support expected inference rules. An alternative that makes the consequences of different choices more predictable is to instead continue with implication formula_43 as the second connective: this is overall the most common connective in axiomatisations of logic, and it has closer ties to the deductive aspects of logic than most other connectives. A confidence counterpart formula_44 of the implication connective may in fact be defined directly as the residuum of the t-norm.