Solve boolean2