plus f x g x plus g x plus g x g x f x plus g x a plus 2 AC f 1 g 1 a 0 FULL