This work introduces a concept of explanations with respect to the violation safe behaviours within software defined networks (SDNs) expressible in NetKAT. The latter is network programming language based on well-studied mathematical structure, namely, Kleene Algebra Tests (KAT). Amongst others, foundation NetKAT gave rise sound and complete equational theory. In our setting, behaviour characte...