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.