some better notation and comments in mining sim