 Delta-one absoluteness

Let $M\subseteq N$ be transitive models of a theory proving both an existential-bounded and a universal-bounded equivalent of a formula. For parameters in $M$, the existential form gives upward absoluteness and the universal form gives downward absoluteness. Consequently the models agree on the formula. The equivalences must hold in both models.