"results in breakdown of" . . "p results in breakdown of c if and only if the execution of p leads to c no longer being present at the end of p" . .