The joke is blowing up on Japanese Twitter, so yes, people do get the joke: https://twitter.com/groebner_basis/status/1112547757082832897?s=17 https://twitter.

The joke is blowing up on Japanese Twitter, so yes, people do get the joke: https://twitter.com/groebner_basis/status/1112547757082832897?s=17 https://twitter.com/groebner_basis/status/111254775708283289...