. "Proposed etymology of OK" . . .