completed development.tex (theoretically)

still not sure about those dependencies