⁷also referred to as β-reduction