Carolingian extensions