Boolean modelling