Works over two assertions, stipulating that as soon as the first assertion ceases to hold, the second must hold thereafter.

• 应用于两个断言,它规定一旦第一个断言停止作用,此后,第二个断言就必须保持有效。