a > b \ge 0