More likely, stole grok from nerds who learned grok from Heinlein.