Document the equality.