Vardanyan's theorem for extensions of IE1 door M. de Jong