Safety for Supervisors: Mining