https://plus.google.com/hangouts/_/7ecpj306blps43f5955djumek4?hl=en -------------- next part -------------- An HTML attachment was scrubbed... URL: http://mailman.mit.edu/pipermail/hott-reading-group/attachments/20140310/51150f29/attachment.htm