Formal proof, Art Deco, Ruins
https://scrapbox.io/files/660e21301d4d120025f336fc.webp