((lambda (s)
   (list s (list 'quote s)))
 '(lambda (s)
    (list s (list 'quote s))))

((lambda (s t)
   `(,s ',s ',t))
 '(lambda (s t)
    `(,s ',s ',t))
 '(lambda (s t)
    `(,s ',s ',t)))

;; Now, can we get two different expressions that print out each other?

;; Or, two things a, b, such that (a b) ==> a and (b a) ==> b
;; but that's dumb.