推古验今，所以不惑； 先揆后度，所以应卒。