l.c a tiny lambda calculus written on the plane from indianapolis to newark. had no wifi and nothing else to do.