Delay constraints for paths.

Delay constraints for the normal and diverging paths of Figure 10. All paths ending with the state (0000) are normal while others ending with (00121) are divergent. The symbol is the conjunction operator. (resp. ) is the delay for the evolution of a protein from level to (resp. from level to ). Similarly, (resp. ) is the delay for the evolution of a protein from level to (resp. from level to ).