Lambda calculus ftw.As always, slightly more + explanations...