Abhyankar's_lemma loading ...