《三国志・魏志・陈思王植传》「於是以罪诛修」
裴松之注引《世语》：「修以白太祖，未及推验。」

《隋书・刑法志》：「旷又告少卿赵绰滥免徒囚，帝使信臣推验，初无阿曲。」
宋 沈括《梦溪笔谈・杂志二》：「乃真李顺也，年已七十余，推验明白，囚赴阙覆按皆实。」
元 刘埙《隐居通议・杂录》：「事蹟甚明，尚敢抵讳，所劫之物，藏汝庄中，皆可推验。」