Refine problem specification