I wasn't aware a dictionary definition solved a Millennium Prize problem. Which one and how?