 Theorem 16. If two interpretations \(M_1\) and \(M_2\) have the same domain and agree on all of the non-logical terminology of a sentence \(\theta\), then \(M_1\vDash\theta\) if and only if \(M_2\vDash \theta\).