the lambda calculus band ays (2) | ScratchStats