(c4) (hv) (h) (hV!g!h!g/gV!f) (;) (hV!f) (g!hv) (g!hv) (ix/h/hiv) (h) (h) (;) (hv) (h) (hV!g!h!g/g) (f) (f!g!hv) (;) (hvGFE!g!hv) (gVf) (::)