John Baez was tweeting about this recently: https://twitter.com/johncarlosbaez/status/1467204133262446599 https://twitter.com/johncarlosbaez/status/14672041332

John Baez was tweeting about this recently: https://twitter.com/johncarlosbaez/status/1467204133262446599 https://twitter.com/johncarlosbaez/status/146720413326244659...