and not not x y not z and y band x z x 2.2 and not not x y not z and y band x z x true and not not x y not z and y band x z x true and 3 0 band 2 1 and 3 1 2 0 not 1 2 NaTT certifiable-1.6