refining the spec