edits to the equality