Es sei ein Symbolalphabet ${\displaystyle {}S}$ einer Sprache erster Stufe gegeben, ${\displaystyle {}\alpha \in L^{S}}$ und ${\displaystyle {}I}$ eine Interpretation mit ${\displaystyle {}I\vDash \alpha }$. Zeige durch ein Beispiel, dass daraus nicht im Allgemeinen die Gültigkeit ${\displaystyle {}I\vDash \alpha {\frac {t_{1},\ldots ,t_{k}}{x_{1},\ldots ,x_{k}}}}$ unter einer Substitution