equality (12)