Refactor-2: refute_negatives is confusing, check_negatives isn't