"In a profession plagued by, 'when all you have is a hammer, everything looks like a nail,' we get really excited when someone is able to come along and prove that everything really /is/ a nail if lambda is the hammer."