Definitions
areEqual