Refined interfaces