石动甬问博士：“先生，天姓什么?”？
博士说：“天姓高。”。
动甬说：“天子姓高，天就姓高。这是学蜀国臣子泰宓的方法，没有新义。经书上着有天姓，先生可引用经文，不用假托蜀臣回答之法。”。
博士说：“不知道在哪本经书上写有天姓啊?”。
动甬说：“先生读书太少了，《孝经》也像没有看过一样。天本姓也。
先生难道没有见《孝经》里写道：‘父子之道，天性也。’这难道不是天姓吗?”。