📚 Node [[q how might a discourse graph be designed to support incremental formalization]] empty
Nobody has noded "q how might a discourse graph be designed to support incremental formalization" in this Agora yet, but you can if you want to:

Rendering context...