 It can be verified that neither \(P(x)q \supset \Box P(x)q\) nor \(Pq \supset \Box Pq\) are Ockham-valid for all \(q\). Let for instance \(q\) stand for \(F(y)p\). It is easy to verify that \(P(x)F(y)p \supset \Box P(x)F(y)p\) will not in general hold in an Ockhamistic branching time model. This may be illustrated using the following diagram, in which it is easily seen that \(\Ock(t, c_1, P(x)F(y)p) = 1\), whereas \(\Ock(t, c_1, \Box P(x)F(y)p) = 0\) since \(\Ock(t, c_2, P(x)F(y)p) = 0\).