Title: Elementary coal-mining