Tag: formal and legal mining operations