remove todo

I looked up some of demorgans laws and learned that the alternative to
the conditional form I'm using now are actually more complex. So there
for a refactoring is not required.