Add negations to TODO