Arnold–Givental conjecture