Refinements

11
12
31