this phrase, which a mountain farmer in 1887 would have understood to mean a hole dug in a hillside, would be interpreted by courts in the twentieth century to include strip mining, augering, and mountaintop removal. Methods of extraction that had not yet been invented were encompassed by language w