Miners (Lu minaturi), song