In ZFC, the Freiling axiom of symmetry is equivalent to failure of the Continuum hypothesis. Under the hypothesis, countable initial segments of a well-order of the reals violate symmetry. When the continuum exceeds , the union of the countable values on an -sized set leaves a real outside; avoiding that real's countable value gives the two witnesses.
New to topics? Read the docs here!