x
slide: The lambda calculus -- properties