Refined specification