@tbaumer2: Mining isn’t