sel 0 cons X sel s cons sel X Z dbl 0 0 dbl s s dbls nil nil dbls cons cons indx nil nil indx cons cons from cons 2.2 NaTT certifiable-1.6