Lambda calculus quiz