h X Z f X s X Z f X Y g X Y h 0 g X Y g 0 Y 0 g X s Y g X Y 2.2 h X Z f X s X Z g X s Y g X Y f X Y g X Y h 0 g X Y true g X s Y g X Y true h 2 0 s 1 1 1 f 3 0 0 0 0 h 2 0 f 3 0 g 2 2 0 g 2 0 f X Y g X Y h 0 g X Y h X Z f X s X Z true Failed! NaTT certifiable-1.6