 2. It is unclear how permission is to be represented. If we use the standard definition (P A = ¬ !¬ A), then P A ↔ !A is a theorem, but P A and !A are not equivalent according to the ordinary use of the words “permitted” and “obligatory.”