[formalsystem]

I'm not sure what's going on with Medium, trying to figure it out now.

But in the meantime I uploaded a pdf of the post to Google Drive https://drive.google.com/file/d/19MMS6IJ_C4DVuJtlmfNpXmOw5Xl...