Refinements

9.5
13
10