Abhyankar's_conjecture loading ...