すでに水没したジルニトラは水没しない。まだ水没していないジルニトラも水没しない。すでに水没したジルニトラとまだ水没していないジルニトラを離れて、現に水没しつつあるジルニトラは水没しない。