f c X s Y f c s X Y g c s X Y f c X s Y 2.2 f c X s Y f c s X Y g c s X Y f c X s Y true g c s X Y f c X s Y false f c X s Y f c s X Y true s 1 1 1 c 2 2 28958 f 1 0 f 1 1 0 g 1 0 g 1 0 NaTT certifiable-1.6