Testing refinements