> prove

No obligations to prove

> quit

Ok