ECSTR14x2: Added discussion of assertions.