OP referred to a Heinlein quote in his article. I figured that makes using 'grok' in a comment OK.