Refinements

7.5
11
31