Theorem 2.2. Assuming that:

• $h:M\to N$ is an $L$-isomorphism

• $\phi (x_1,\dots ,x_n)$ an $L$-formula

• $a_1,\dots ,a_n\in M$