Since there is no specific protection for the negated version, perhaps it would be better to simply not use the Negation type?