 Suppose now that we have the same language as that of SDL, along with the rule RE governing \(\OB\). We saw in  Section 1.2  that in addition to TDS, the Traditional Threefold Classification (TTC) and/or the Deontic Square (DS) of Opposition were often explicitly endorsed in pre-symbolic investigations of deontic logic. Symbolically formulated, these are: