Firm up the definitions of U, U_p, and U_S.