•If a network conforms, then any well-defined deterministic function contained
in is acceptable at node j, for
•For NS or NSC, any ND relation will also be acceptable
•But for SS, it is possible that
an ND relation contained in
can cause the network to not conform