Partial Correctness And Total Correctness