Remove phi in favor of thorn