Refinements

5.5
7
11