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: In discrete modelling of biological network, Boolean variables are mainly used and many tools and theorems are available for analysis of strictly Boolean models.