https://plus.google.com/hangouts/_/72cpip6juodk9i0apb933cm3mc?hl=en -------------- next part -------------- An HTML attachment was scrubbed... URL: http://mailman.mit.edu/pipermail/hott-reading-group/attachments/20140407/53e73afe/attachment.htm