((lambda (x) 3) 5)