 In each of these semantics, a FOTL formula \(\varphi\) is said to be valid in a model \(\mathcal{M}\) iff it is true in that model at each time instant with respect to every variable assignment; it is valid in an augmented temporal frame iff it is valid in each model based on that frame; and it is valid iff it is valid in every model.