Identity

Restriction

(1)

(2)

(3)

(4)