DichotomY (Explicit)

DichotomY (Explicit)