Today's set of words touches on a sad bit of history; often in the past (and even in the present day in some places) miners were often minors, though minors were not always miners.