What Are The Formalities For Mining