sel s X cons Y sel X Z f X cons X g 0 s 0 g s X s s g X sel 0 cons X X 2.2 NaTT certifiable-1.6