野史、轶闻、民间传说、笔记小说……皆无“石彦生”，或“霍达”之名字。