Revising the refinement tutorial