Assumptions

• Each general can send messages directly to every other general.

• Solutions exist when this is not the case (1).

• If a (traitorous) general does not send any message, we assume that his message contained a default value, RETREAT.