Refinements

9.5
10
30