P<->B, avoiding AC in set theory, HF sets