I often hear sugar diabetes, like there's some othr kind. And in formal mathematical logic the second definition rules. There is an art to making sure you have tautologies before you insert them into the more complicated phrases.