Add beta reduction slide