(define reverse (lambda (ls) (if (null? ls) '() (snoc (reverse (cdr ls)) (car ls)))))