We settle all relativized questions of the relationships between
the following five propositions:
P = NP.P = UP.P = NP $\cap$ coNP.All disjoint pairs of NP sets are P-separable.All disjoint pairs of coNP sets are P-separable.
We make the first widespread use of variations of generic oracles to
achieve the necessary relativized worlds.