Refinements

7.5
9
11
14