remove 'back'-commands; generalized isCont_borel