Tutorial: Using Refinements to Simplify Result Selection