Most functional analysis books prove that Zorn's Lemma$\implies$Hahn-Banach$\implies$"The weak topology on every Banach space is Hausdorff", however it is known that the Hahn-Banach theorem can be proved from the Boolean Prime Ideal theorem, which is strictly weaker than $\sf ZL$, and that $\sf ZF+HB$ is strictly weaker than $\sf ZF+BPI$.
Let $\sf WH$ be the assertion "The weak topology on every Banach space is Hausdorff", what's the relation between $\sf ZF$,$\sf ZF+WH$ and $\sf ZF+HB$?