Termination, correctness and relative correctness