Last Bobclass today. Everyone gave capsule summaries for their respective papers. Conclusion: some good ideas, but many badly written papers. Also the theme of "Answers looking for questions." Also a really screwed up paper presented at the ConCert meeting.