 This does away with (P3) in the formal version of the medieval argument discussed above. Still, both formulas, \(P(x)q \supset \Box P(x)q\) and \(Pq \supset \Box Pq\), will hold if the truth of \(q\) does not depend on what the future brings.