Летом 2018 г., когда я начал писать эту книгу (да-да, именно писать, а не печатать на клавиатуре), науке было известно 15 438 видов муравьев,