Adds beta reduction method.