ripple/rippled — pull request #471 by HowardHinnant (2014-07-28 18:27:15+00:00)
Title: Further documentation improvements to Ledger Consensus.

These are David's comments to further improve RIPD-405.