(f3) (g_h) (iji/jkj.::) (f) (g_h) (iji/jkj.::) (f) (g_h) (iji/jkj.::) (g') (f) (g_h) (iji/jkj.::z) (f) (g') (f) (f) (g') (h) (iji/jkj.::) (f) (g') (f) (f) (g_h) (iji/jkj.::)