Sure. But since neither XK nor ZK is known to have been used by CIA, and XK is known to be used in the novella, and the snark/boojum contrast exists and would fit well with the story, that was what I referenced.