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 v

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.