Weeknotes 247

Topological consequences