તેથી, આ ખાસ while લૂપ પૂર્ણ થશે, આવશ્યકરૂપે કારણ કે p2_inside false છે; હવે માનો કે ત્યાં કોઈ કન્ટેક્ષટ સ્વિચ છે જેના પરિણામે પ્રોસેસ p2 એક્ઝિક્યુટ થશે, તેથી તે આ નિવેદનો પણ ચલાવશે જ્યારે p1_inside false છે , તેથી while લૂપ તૂટી જશે.
അതിനാൽ, ഈ നിശ്ചിത വൈൽ ലൂപ്പ് പൂർത്തിയാകും, പ്രധാനമായും p2_inside തെറ്റായതിനാൽ; പ്രോസസ്സ് p 2 ന്റെ ഫലമായി സംഭവിക്കുന്ന ഒരു കോണ്ടക്സ് റ്റ് സ്വിച്ച് ഉണ്ടെന്ന് കരുതുക, അതിനാൽ p1_inside തെറ്റായിരിക്കുമ്പോൾ ഇത് ഈ പ്രസ്താവനകളും നിർവ്വഹിക്കും , അതേസമയം, ലൂപ്പ് തകരും.