Rewrite ToUaS  4.a-b. to make them more compact.