this is always a pure inseparable extension