Then there is finite $T^{\ast }\subseteq \mathsf{\text{ZFC}}$ such that if $M$ is a countable transitive model of $T^{\ast }$, then there is $N\supseteq M$ such that $N$ is a countable transitive model of $T+\neg \mathsf{\text{CH}}$.