Incremental formalization argues against preventing clutter by demanding heavy structure at write time. Capture cheaply, then add chunking, links, labels, and restructuring when the need becomes clear; systems can infer or suggest structure instead of forcing it early.