Mochizuki had created so many new mathematical tools and brought together so many disparate strands of mathematics that his paper was populated with vocabulary that nobody could understand. It was totally novel, and totally mystifying. “You don’t get to say you’ve proved something if you haven’t explained it,” she says. “A proof is a social construct. If the community doesn’t understand it, you haven’t done your job.”