Spec refinements