Here is what I taught monsterer before.
Here was some other discussion that linked back to that:
As
I explained to monsterer upthread, it is not possible to objectively prove (with cryptography and math) which chain is the honest one and which one is the dishonest one when there are censored transactions.
[...]
Note however that this minority chain is unprovable to a full node that wasn't online as it was occurring (which was
my point to monsterer)...