Use beta reduction