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