[cemerick]

Of course, the point is that a caller of any function in an imperative environment doesn't know what state its implementation depends upon.