Rule of introduct with mining