Measuring tools^{10 584}