Title: Elements of mining