 Although the properties of being special and being universally representative according to a given logic are mutually exclusive, they are not jointly exhaustive. For example, ⊥ is neither universally representative nor special in minimal logic (according to the consequence relation associated with the Johansson’s Minimalkalkül, that is). Nor does the connective ☐ have either of these properties in the modal logic KD (sometimes just called D), though this example is far from selected at random: in the sublogic K, ☐ is special (since ☐⊥ → φ is provable for all ☐-formulas φ, though not for arbitrary φ), and in the extension KD4 it is special again (since φ → ☐φ is provable for all ☐-formulas φ, though not for all formulas).