Preserving truth under submodel transitions does not guarantee equilibrium existence, since equilibr...