Corollary 3.17. $M[F]\models \text{Pairing}$ (if ${𝟙}_{}\in F$).