Refinements

9.5
30
34