?-Fuc(?->
