Solve boolean4