 Two other principles accepted in most systems of deontic logic entail PC. So if PD holds, then one of these additional two principles must be jettisoned too. The first says that if an action is obligatory, it is also permissible. The second says that an action is permissible if and only if it is not forbidden. These principles may be stated as: