human
Older and wiser people than they have spent their time digging in the dust for relics, said Uncle Teddy.
gpt
Even if they don't find what they are looking for there is nothing lost, and as the colonel said, digging is good exercise. It will be no small feat to move that rock over and if they accomplish it they will be pretty good engineers.