(define Y (lambda (l) ((lambda (f) ) (f f)) (lambda (f) (l (lambda (x) ((f f) x))))))))
No cards in this deck (or we haven’t scraped them yet).