溜まった水の排水だけじゃなくて、洞窟内に流れ込む場所の防水処理とかやってるんだろうか?