avoiding redundant negatives