f g X g f f X f h X h g X 2.2 f g X f X f g X f f X true f g X f f X f g X f X true h 1 1 f 1 1 0 f 1 1 0 g 1 1 1 f g X g f f X f h X h g X NaTT certifiable-1.6