f a y f y g y g a b g b b 2.2 f a y g y f a y f y g y true f a y f y g y true a 0 2 b 0 1 f 2 0 f 2 1 2 0 g 1 0 g 1 1 g b b g a b f a y g y false NaTT certifiable-1.6