Seems fair.

Would be nice to have a fifth slide explaining friction cost and why it might be a very bad idea to embed ever increasing friction as your formal verification method.