FC(C(F)=C(F)C(F)(F)F)=C(F)C(F)(F)F