Definition:

mines