add dichotomy