U-Substitution - More Complicated Examples