Beta reduction is the key principle that resolves the Lambda abstraction and that with the alpha renumbering --- Send in a voice message: https://anchor.fm/stre/message