Do you need a deactivation certificate for the mine?