mines [;