https://platoaistream.com/plato-data/nasty-geometry-breaks-decades-old-tiling-conjecture/