I'm not sure if the current draft says so, but I talked about how the logical units ought to be "pure functions" most of the time at some point.