No hace falta. Te lo explico en "dicotómico". Tomás un elemento del universo y lo sometés a un test de dicotomización. Si resulta que
x es dicotomizable, pim pum pam. De lo contrario,
x no es dicotomizable. No te gastes, lo que elaboro cuando no quiero trabajar tiene una lógica indestructible