Execution of Example
v Try the same computation with a different termination
condition