Refinements

5.5
10
11