烝鉏的曾孙圉辅佐元。”史朝进见孔成子，得知两人梦境相合。孟絷的脚有疾病，孔成子用《周易》来占卜立谁为优，公子元得到《屯》卦。爻辞说：‘元亨’。孟絷得到《屯》卦变为《比》卦。史朝说：“‘元亨’，就是元将会享有国家。前535年（鲁昭公七年、卫襄公九年），孔成子立了「元」，即是卫灵公。十二月廿三日，安葬卫襄公。