refinement test passing