equality (16)