Sfgx → fx(gx)
Kxy → x
Ix → x