> obligation

No proof obligations

> quit

Ok