They should be mining.
They should spend their time mining.