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