Refinements

8.5
13
30