他的墓碑上应该有个名字啊。
刻什么名字呢？我们连他的真实姓名都不知道。