Refinements

7
9.5
13