Refinements

9.5
12
32