Non-Deterministic Networks
Example implies that need a theory of ND networks.
In general, behavior can increase when network
is manipulated
MVSIS allows non-determinism at each node
However, we have never seen a final network
that did not satisfy its specifications.