section 4, lambda intro