Before revision:  The second theoretical result is a set of formulas for counting the maximum number of transitions that will change in the state space upon an edge deletion in the wiring diagram.
After revision:  Using this polynomial normal form, we provide a set of formulas for counting the maximum number of transitions that will change in the state space upon an edge deletion in the wiring diagram.