Refinements

9.5
32
38