Should be problem.terminate...