the lambda calculus band ays (1) | ScratchStats