Add cons and transduce