. "consent, permit or other approval, then a formal mining lease" . . . .