Refinements

6.5
8
11
31