That particular company employees 12,000 people, and it's very, very hard to imagine them being replaced wholesale by AI, although maybe someone will figure out self-driving loaders, self-driving trains, self-operating scales, and so forth.