不能断言的
... 不变断言 invariant assertion 不能断言的 unasserted 测试断言 test assertion ...
未肯定的
unasserted:
un- + asserted