Algorithm must guarantee:

1. All loyal generals decide upon the same plan of action.
2. A small number of traitors cannot cause the loyal generals to adopt a bad plan.