Definition 3.10 ($P$-generic over $M$). We say $F$ is $\mathbb{P}$-generic over $M$ if it is $D_M$-generic. These always exist if $M$ is a countable transitive model.