The first sentence of section 2.3 reminds me of another case when over-reliance on a diagram concealed relevant detail. I mean the way the security of an Alice and Bob crypto protocol depends on details like timing and power.