Oh, and there's also "grok" just few paragraphs later!