Corollary 3.9. Assuming that:

  • |Y|>|P(ω)|

Then there is no DE-generic.