This is a work-in-progress. Please let me know if you cannot understand the diagrams without some prose here.