Refining the spec !