transition assertion

变迁断言