Refined statement