if true x y x if false x y y if x y y y if if x y z u v if x if y u v if z u v if x if x y z z if x y z if x y if x y z if x y z 2.2 if if x y z u v if y u v if if x y z u v if z u v if if x y z u v if x if y u v if z u v true if if x y z u v if x if y u v if z u v if if x y z u v if z u v if if x y z u v if y u v true false 0 1 true 0 7758 if 3 1 2 3 1 if 3 1 0 NaTT certifiable-1.6