--- a/blob_changes_v3	Thu Dec 08 12:06:43 2011 -0800
+++ b/blob_changes_v3	Thu Dec 08 15:57:34 2011 -0800
@@ -37,4 +37,5 @@
 - small corrections to proof of product theorem (7.1.1)
 - added remarks that various homotopy equivalences we construct are well-defined up to a contractible set of choices
 - clarified that the surgery cylinder operad action is only up to coherent homotopy
+- added some details to the construction of a traditional 2-category from a disk-like 2-category