AHL 5.16 Using U substitution