Refined implementations