go to boolean equation.