Refinements

6.5
13
25
26