Refine some solutions.