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