PRE D.4.G (Explicit)

No Choice (Explicit)