Corollary 3.5.
There is no
F
that is
D
∪
{
N
f
|
f
:
ω
→
2
}
-generic
.