Incremental formalization is a strong match for Smith.wiki's deliberately weak schema: capture useful thought with minimal structure first, then add links and syntheses as understanding develops. This avoids forcing a premature ontology onto work that is still changing.