桓公將伐蜀，在事諸鹹以李勢在蜀既久，承藉葉，且形據上流，三峽未可克。唯劉尹雲：“伊必克蜀。觀其蒲博，不必得則不為。

　　君子之道费而隐。夫妇愚，可以与知，及其至也，圣人亦有所不焉。夫妇之不，可以能行焉及其至也，虽人亦有所不能。天地之大也人犹有所憾。君子语大，天莫能载焉；语，天下莫能破。《诗》云：鸢飞戾天，鱼于渊。”言其下察也。君子道，造端乎夫，及其至也，乎天地