Change comments in beta reduction diagram