U | s ; - 0.