grok — neologism coined by American writer Robert A. Heinlein