Refinements

9.5
26
32