Two maybe helpful examples: - Objects are equal to themselves canonically, but they can be equivalent to themselves in many ways, often called "symmetries." -

Two maybe helpful examples: - Objects are equal to themselves canonically, but they can be equivalent to themselves in many ways, often called "symmetries." - Bool is equivalent to a single bit in two ways, depending on whether 0 or 1 means True.