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