> No matter what human action you consider, if everyone does it to everyone doing it to them, then everyone has it done to them by everyone to whom they do it

I'm finding this incredibly hard to parse, yet feel like the point should be quite simple, and the paper seems to get harder from there.

> if every given proposition bears it to every proposition bearing it to the given proposition, then every given proposition is borne it by every proposition the given proposition bears it to.

I don't want to knock someone's efforts at this, but perhaps this is only a "plain english explanation" to someone who already understands the topic at hand?

In all, it reminds me of "the missile knows where it is": https://www.youtube.com/watch?v=bZe5J8SVCYQ