YES
Termination proof succeeded
Errors: