Whatever they did in patenting, mining is not a thing coming from them, so nothing can be done by them in that way.