Terminating computations correctly