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