Proposition 15.11. Assuming that:

• $T$ a complete $L$-theory with infinite models

• $M\equiv N$ are both countable and saturated