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