Refinements

11
12
30