Post #2599017

@MartinEscardo@mathstodon.xyz Thanks for this. It's a lot to read and digest. I'll try to get back to this later!