Proving negatives is easier