I don't understand what you want; it's all true as far as I can tell, do you want a detailed technical breakdown of the protocol in an HN thread? This doesn't seem to be the place but the graph protocol mechanisms are pretty easily verified from their spec