Boolean modeling