for N being e_net holds CL the entrance of N = CL the escape of N