If the same action-type is both obligatory and prohibited simultaneously, it violates the logical la...
This proposition has not been edited since the history system was added.