if if x y z u v if x if y u v if z u v 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 if 3 1 2 3 1 if 3 1 0 NaTT certifiable-1.6