《晋书·志·第十二章》
晋咸宁元年，下韶确定祖宗的庙号，于是宗庙音乐中就停掉了《宣武》、《宣文》两个舞蹈，而在同等情况时就使用苞劻让郭夏、宋识等人所创作的《正德》、《大豫》两个舞蹈。
咸宁元年，诏定祖宗之号，而庙乐乃停《宣武》、《宣文》二舞，而同用荀勖所使郭夏、宋识等所造《正德》、《大豫》二舞云。
In the first year of Jin Xianning, Xiaoshao determined the temple names of his ancestors, so the two dances "Xuanwu" and "Xuanwen" were stopped in the temple music. In the same situation, Bao Kuang was used to let Guo Xia, Song Shi and others create ""Zhengde" and "Dayu" two dances.