!= is not transitive