The Ruliology of Lambdas