equality (5)