Refinements

7.5
12