石動甬問博士：「先生，天姓什麼?」？
博士說：「天姓高。」。
動甬說：「天子姓高，天就姓高。這是學蜀國臣子泰宓的方法，沒有新義。經書上著有天姓，先生可引用經文，不用假託蜀臣回答之法。」。
博士說：「不知道在哪本經書上寫有天姓啊?」。
動甬說：「先生讀書太少了，《孝經》也像沒有看過一樣。天本姓也。
先生難道沒有見《孝經》里寫道：『父子之道，天性也。』這難道不是天姓嗎?」。