Variables are written once, and data flow is made explicit.