Problem 2 - explain how to prove termination