Before revision: In discrete modelling of biological network, Boolean variables are mainly used and many tools and theorems are available for analysis of  Boolean models.
After revision: Many discrete models of biological networks rely exclusively on Boolean variables and many tools and theorems are available for analysis of Boolean models.