Doplneny 2 místa kde se budou kontrolovat (a posílat) zprávy. Zpravy jsou tam rozdeleny do dvou disjunktních množin. U každý je napsané proč bych jí řešil právě na tom místě a ne na tom druhém.
A napsana te redukce vysledku (ale neni to teda binarni redukce)