Three men are mining rocks.