loses assumption in coal mining