Negation feature on hiero