I like how this derives the WAL from first principles rather than introducing it as a database feature. Once you frame everything around durability guarantees, concepts like append-only logs, replay, and fsync start feeling inevitable rather than magical.