Refinements

9.5
31
32