(f3) (iv) (E) (f) (fj) (kxj!k) (j) (::) (j) (j) (i) (h) (i!j) (i) (::)