updated the discussion of Equality