isn't `==` more strict than `>`, so order is wrong in this example?