Title: the problem of the coal mines