The reduction of a list using (lambda (x rest) (cons (* x 2) rest))
   constructs a new lists whose elements are twice the values of the
   corresponding elements in the original list.  (Of course, it will
   blow up if you give it a list containing non-numbers.)