[comparator] logical division