What is U_BACK here for? Is this needed for each rule?