loses the assumption in coal mining