baihacker's birthday invitation contest

A: Lambda-Calculus