 Conversely, the test "must not" hold before the execution of the else-branch, and the assertion "must not" hold after it.In the inverted program, the assertion becomes the test, and the test becomes the assertion.