Refinements

8.5
30
31