If I can't find a LUB for the rewrite, then use K. This is a temporary fix.