Refinements

7.5
13