 As Kamp (1973) pointed out, plainly making the Free Choice principle valid, for example by adding it as an axiom, would not do because it would allow us to derive \(P q\) from \(P p\) as shown in  (37),  which is clearly unacceptable: