Trashing the numerical abductive disjelim idea. Fix to "binary upper bound" test.