and true X if true X if false Y add 0 X and false false add s s first 0 X nil first s cons cons from cons 2.2 NaTT certifiable-1.6