Mathematical Theory of Partial Correctness. AIM-139