equality (4)