equality (7)