Refinements

7.5
8
11
31