Handle double negation case specially. Update TODO