Mathematical logic and foundations

A is a substructure of M, and a sentence ∃x φ(x) is true in M because of a witness outside A. What can be concluded about the sentence in A?