No problem; your question made me curious. Too late to edit, but I wrote it up on my blog for posterity: http://www.kmjn.org/notes/car_hoare_bank.html http://ww

No problem; your question made me curious. Too late to edit, but I wrote it up on my blog for posterity: http://www.kmjn.org/notes/car_hoare_bank.html http://www.kmjn.org/notes/car_hoare_bank.html