Untyped lambda calculus represented by cut out alligators. A great reminder of how computers aren’t necessary for computation, just convenient.