I’ve used assert to check the postcondition of x being sorted before sort() returns to its caller. The example in Listing 4 demonstrates an important characteristic of assertions, which is that ...