re-refined interfaces