Changing logic to capture convergence
b'Mirna Dzamonja speaking at the BIRS workshop 23w5025: Set-Theoretic Topology (Jul 30 - Aug 04). Recorded by the Banff International Research Station for Mathematical Innovation and Discovery.'