SMS dit: Una debilitación del axioma de elección para el árbol binario estándar