 Let us start with the distinction between indifference and  optionality.[56]  In general, optionality of a given state of affairs or action need not imply that it is morally indifferent. For instance, it may be optional that you attend a faculty meeting, but not a matter of indifference that you do so. However, when deontic logicians and ethicists gave an operator label for the condition \((\neg \OB p \amp \neg \OB \neg p)\), it was almost invariably “It is indifferent that \(p\)”, “\(\IN p\)”. It would seem to follow from the theorem