Byzantine Generals Problem Precise problem statement: ■IC1 All loyal lieutenants obey the same order ■IC2 If the commanding general is loyal, then all loyal lieutenants obey the order he sends These conditions are the: Interactive Consistency Conditions