1: \begin{definition}

2: {\rm An lts ${\cal A}$ is {\em sensible} if the converse to \ref{ltsprop}(iii) holds, i.e. for all $M \in \Lambda^{0}$:

3: \[ {\cal A} \; \models \; M \Converges \;\; \Longleftrightarrow \;\; 

4: \lambda \ell \; \vdash \; M \Converges \;\; \Longleftrightarrow \;\; \exists x, N. \, \; \lambda \; \vdash \; M = \lambda x . N . \]

5: (The second equivalence is justified by an appeal to the Standardisation Theorem \cite{Bar}.)}

6: \end{definition}

7: