[muyuu]

Ideally, the scope of failure to do with the data what they should do, would be bounded. In reality, programmes asked to handle some data can fail to do the expected handling and produce undetermined side-effects.

[ngneer]

Precisely! We need to structure programs so as to behave within a well defined transitive data closure.