f g X Y f X n__f g X activate Y f X1 X2 n__f X1 X2 activate n__f X1 X2 f X1 X2 activate X X 2.2 f g X Y f X n__f g X activate Y f g X Y activate Y activate n__f X1 X2 f X1 X2 true activate n__f X1 X2 f X1 X2 f g X Y activate Y f g X Y f X n__f g X activate Y true Failed! NaTT certifiable-1.6