 The truth of an arbitrary formula \(\varphi\) of TL at a given time instant \(t\) in a given temporal model \(\mathcal{M}\) (denoted \(\mathcal{M},t \models\varphi\)) is then defined inductively as follows: