What are Synonyms?
Did you know that Mining has other words with the same meaning that can help to enhance your communication efforts?
These words are known as Synonyms.
For instance, instead of always saying Mining, you could use Minelaying, which could fit your situation perfectly.