Corollary 3.9. Assuming that:

  • |Y|>|P(ω)|

Then there is no D∪E-generic.