if false X Y f X if X c if true X X 2.2 NaTT certifiable-1.6