f g f a h a f a f h g f a a g f a f a 2.2 f g f a h a f a f h g f a a g f a f a true f g f a h a f a f h g f a a g f a f a false NaTT certifiable-1.6