equality (17)