Part II — The Analysis
Part I defined a web application as two functions and left State unspecified. This part derives a factorization of read, the properties required of its factors, the resulting model of State, the conversion from graph to tree, and the corresponding write operation.