 This theory allows the supervaluationist to reject (P3) and to accept future excluded middle, (P5), without accepting the idea of ‘the thin red line’ or “the true future”. It should be pointed out, however, that although this theory implies a rejection of (P3), it does in fact accept a related inference principle i.e., if \(P(x)p\) is true at a certain moment of time, \(t\), then \(\Box P(x)p\) will also be true at \(t\).