f x a = f x c
f x = g x