boolean model