Proper Over

Prove Terminate