@pete @krzyzanowskim Pity, isn't it. I read that they did use those names in the Tetris movie! Haven't seen it, but if that is the case then it has become fact after all :) Here's an older article talking about the hoax: https://nerdist.com/article/jeopardy-fake-tetris-name-error/