(f3) (h) (i) (j) (h) (::) (j) (j) (h) (i!j) (i) (h) (::)