Abhyankar's_inequality loading ...