The definition of `==` is also required because of the implementation for the formatter that checks for duplicates.