《史记·八书·封禅书》
天子既已杀掉文成将军，后悔他死得太早，惋惜他的法术没有全部使用出来，及至见到栾大，很是高兴。
天子既诛文成，後悔其蚤死，惜其方不尽，及见栾大，大说。
The emperor had killed General Wencheng and regretted his death too early, and regretted that his sorcery had not been fully used, and was very happy to see Luan Da.