Beta reduction is the key principle that resolves the Lambda abstraction and that with the alpha renumbering
