 By S2 and S3 together, then, a formula \(\varphi\) is n-statable if and only if all of its component free terms are. Or, more informally put: the proposition that \(\varphi\) expresses exists necessarily if and only if all of its subjects do.