Constable's version of the FLP result  Now Colin resumes communication but Theo goes silent… we need to tolerate 1 failure (Theo) and are required to count Colin's vote  Constable shows that FLP must reconfigure for this new state before it can decide  These steps take time… and this proves the result!
{}