. . "Also, I do not know if I am entirely convinced they avoid all forms of choice - it may be they are relying on some weak form of choice (aside from excluded middle)." . .