Egan_conjecture loading ...