Continuing from the previous sessions, we look at how to employ proof-theoretic methods—without losing the well-behaved features we worked hard to preserve—in philosophical and foundational discussions. We introduce geometrization, a process that, despite its name, has nothing to do with geometry but allows for careful transformation of proof systems.