It just works
refinement