Forms of Correctness
l The forms PC and termination are separated because it often is easier to prove them separately.
l
l (Principle of ÒSeparation of concernsÓ)