recommended reading and/or watching:
"Ogi formula", from NISIOISIN's "Owarimonogatari" (part of his larger "Monogatari" franchise)
"The Tower of Doors" game in "Kakegurui", comprising chapters 30 "The Offering Girl", 31 "The Enthralled Girl", 32 "The Clinging Girl", and 33 "The Logical Girl"
the first kinda mirrors (the tension in) K. Devlin's 2003 "When is a proof?", the second does it with/for Grothendieck's "hammer & chisel vs. rising sea"
