I don't agree here. != is a primitive, not a negative condition in the usual sense. Putting things this way around is natural, where the usual action appears f

I don't agree here. != is a primitive, not a negative condition in the usual sense. Putting things this way around is natural, where the usual action appears first and the exceptional action appears later.