将来完成时,未来将要发生,强调未来存在某个状态,而不是未来可能发生,因为作者只考虑（发生or不发生）中发生的那个分支.
所以,算是一种有效的省略吧.