Total correctness

Total correctness means partial correctness together with termination.