~ kX[K/I+(J)⊻Zf