Refinements

5.5
6
10