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