metomi/rose#21: reduce double negatives