done with xt-seg, but extra constraints in wfe for bind case look dubious