Laws


slide: The lambda calculus -- laws