Lots of refinements