if true X if false Y minus 0 minus minus geq true geq false geq geq div 0 0 div s X if geq 2.2 NaTT certifiable-1.6