equality

(1)