Now that you have an idea of the semantics of MPL's lambda facility, let's formalize that understanding and look at things a little more deeply.