Below is the ESM for Mult(m,n) and the restated question.

Exercise 3.7: Recall the transition system Mult(m, n) from exercise 3.1. First., show that the invariant property (mode = stop) (y-m-n) is not an inductive invariant. Then find a stronger property that is an inductive invariant. Justify your answers. I Exercise 3.7: Recall the transition system Mult(m, n) from exercise 3.1. First., show that the invariant property (mode = stop) (y-m-n) is not an inductive invariant. Then find a stronger property that is an inductive invariant. Justify your answers