lt; \kappa$-separated are, in fact, separated. In Watson’s thesis, he proves the same for countably paracompact spaces $X$…" />