Solve boolean23