An appraisal of the tax exemption privilege granted under the mining act, as amended von Tolentino, Eduardo C.