Post #2261708

@standefer@fediscience.org Clearly this means I need to read the other two (which I have now done, portions thereof anyway). @andrejbauer@mathstodon.xyz @rrrichardzach@mathstodon.xyz