[Intro] (λ f . false) true [Verse] Macro expansion 1 :(λ s z . s ( s ( s ( s z ) ) )) (λ f . false) true [Verse 2] β reduction 2 :(λ z . (λ f . false) ( (λ f . false) ( (λ f . false) ( (λ f . false) z ) ) )) true [Chorus] β reduction 3 :(λ f . false) ( (λ f . false) ( (λ f . false) ( (λ f . false) true ) ) ) [Outro] β reduction 4 :false [Ending] Expression is in normal form.