While this blog is still online, I might as well correct, and add to, previous posts. Later this week new Twenty One Pilots material is expected, so this might be a good time to add some remarks to a series of posts I ran last summer, trying to find a connection between Dema-lore and the actual history of the Bourbaki group. Here are links to these posts: Bourbaki and TØP : East is up Bourbaki = B