"Okay, I'll just say one more thing: lambda calculus."