The document discusses distributed computing and consensus problems. It summarizes that Nancy Lynch showed through over 100 impossibility proofs that reaching consensus in an asynchronous distributed system is impossible, even if only one process fails. The paper by Fischer, Lynch, and Paterson proves that no completely asynchronous consensus protocol can tolerate a single unannounced process failure. They present a formal model and proof for this impossibility result.