add note of beta reduction