 is a Peirce-valid formula. This means that a statement about the future is true in the Peircean sense only if it is true in all possible futures, i.e., only if it has to be the case. It follows that if \(F(x)q\) is a future contingent, it will be false according to the theory. The same will be the case for \(F(x){\sim}q\). For this reason 