Eden's_conjecture loading ...