The axiom of choice implies that the box product of [ultraconnected][1] spaces is ultraconnected. [1]: https://en.wikipedia.org/wiki/Ultraconnected_space