A cunning interpreter for the pure untyped λ-calculus.