Further beautification of uu0a. Reached homotopy fibers.