 The relationships between the logical operators at the corners are to be interpreted as in the modal square of opposition. The two squares are perfectly analogous. If we weave in nodes for optionality and non-optionality, we get a deontic  hexagon:[14]