Lambda calculus? More like SHAMbda calculus, amirite?