 A distinctive feature of Thomason’s theory is that the usual truth-functional technique breaks down. For instance, if \(F(1)p\) is a future contingent, then \(F(1)p\) and \(F(1){\sim}p\) are both “indeterminate”, but the conjunction \(F(1)p \wedge F(1){\sim}p\) will be false and the disjunction \(F(1)p \vee F(1){\sim}p\) will be true. It may be objected that it seems odd that a disjunction could be true when neither of the disjuncts is true, and a conjunction false when neither of the conjuncts is false.