Classical_dichotomy