The reason this particular solution works is that, out of the two processes there is exactly two values that favored can take, it can take only one or two, and therefore only one of these while loops will actually break or complete execution
ഈ പ്രത്യേക പരിഹാരം പ്രവർത്തിക്കുന്നതിന്റെ കാരണം, രണ്ട് പ്രക്രിയകളിൽ, അനുകൂലമായ രണ്ട് മൂല്യങ്ങൾ മാത്രമേ എടുക്കാനാകൂ, അതിന് ഒന്നോ രണ്ടോ മാത്രമേ എടുക്കാനാകൂ, അതിനാൽ ഇവയിൽ ഒരെണ്ണം മാത്രമേ യഥാർത്ഥത്തിൽ തകർക്കുകയോ പൂർത്തിയാക്കുകയോ ചെയ്യുകയുള്ളൂ.