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