 Here the \(x\) in the tense operators, \(F(x)\) and \(P(x)\), does not have to be a natural number, but can take any positive value, allowing for the case that time is non-discrete. Prior showed how the argument from section 1 can be formalized in terms of this general tense-logic.