Refinements

9.5
28
32