#lang racket

(define id (lambda (x) x))

(define Y (lambda (f) (lambda (x) (f (x x))) (lambda (x) (f (x x)))))