Yes, wonderful exposition. Thank you for taking the time to explain this. For what it's worth I for one have learned something this Sunday morning when all I wa

Yes, wonderful exposition. Thank you for taking the time to explain this. For what it's worth I for one have learned something this Sunday morning when all I was doing was lazily browsing HN. This is why we come to HN, and it's contributions like yours that make this valuable!