Corollary. If $T\subseteq \mathsf{\text{ZFC}}$ is finite, then there is $M$ transitive such that $M\models T$.