Dwork_conjecture loading ...