refining specification