MotivatingGlobal1 Published November 11, 2021 at 618 × 539 Figure 1: Diagram used in the proof of the FLP result’s central lemma