Property information
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
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