Arnold_conjecture loading ...