Non-Deterministic Networks
Any node can be an ND relation
The behavior (relation between inputs and outputs) of the network is that obtained by collapsing the network in topological order.
Use of complete flexibility at a node can increase the behavior 
Example:
The CF
for y is:
Inserting this in for y
and collapsing gives:
But collapsing
the original network gives: