根据煤矿防治水细则规定，“预测预报，有疑必探，先探后掘，先治后采”是防治矿井水灾的( )。