Refinements

6.5
7
13