Now detecting BETWEEN tautologies for integers.