Isn't it interesting just how a word like "grok", sourced from a book and never used anywhere else previously, can become well-enough known that a conversation about it here doesn't actually have everyone asking (a) what it means, and (b) where it comes from?

I wonder if Robert the Misogynist .. er, Heinlein would really want to be remembered for just ONE word, given his prodigous, if repetitive, literary output?