f X if X c n__f n__true if true X Y X if false X Y activate Y f X n__f X true n__true activate n__f X f activate X activate n__true true activate X X 2.2 activate n__f X activate X f X if X c n__f n__true activate n__true true activate n__f X f activate X if false X Y activate Y true if false X Y activate Y activate n__f X f activate X f X if X c n__f n__true activate n__f X activate X true activate 1 1 n__true 0 0 activate 1 1 0 false 0 4 c 0 0 true 0 1 f 1 1 if 3 1 3 0 n__f 1 1 1 f 1 1 if 3 3 0 true 0 0 f X if X c n__f n__true activate n__f X f activate X if false X Y activate Y true n__true activate n__true true f X if X c n__f n__true if false X Y activate Y activate n__f X f activate X true activate 1 1 1 n__true 0 0 activate 1 1 3 false 0 4 c 0 0 true 0 1 f 1 1 1 if 3 1 2 3 0 n__f 1 1 1 f 1 1 2 if 3 1 3 0 true 0 0 f X n__f X activate X X f X if X c n__f n__true if false X Y activate Y true n__true activate n__true true activate n__f X f activate X if true X Y X activate n__true true false NaTT certifiable-1.6