>Did you really get to the end of the first paragraph before you decided this wasn't going to be about formal proofs/specs? yes because i have heard of the wor

>Did you really get to the end of the first paragraph before you decided this wasn't going to be about formal proofs/specs? yes because i have heard of the word juxtaposition >This guide will introduce the Two Generals' Problem and give an [INTUITIVE] explanation for why finding a solution to the problem is impossible. It will then formalize the Two Generals' Problem and formally prove the impossibility.