Lemma 3.3. $D_x:=\{p\in \mathbb{P}:x\in \mathrm{dom}(p)\}$ is a dense set. If $D:=\{D_x:x\in X\}$, and $F$ is $D$-generic, then $\mathrm{dom}(\bigcup F)=X$.