Page "Hereditarily separable space" not found :(