@thor @icedquinn
I think technically nothing is provable. You can't get rid of the "what if I'm a brain in a vat" problem.