From my perspective, if the provably fair system isn't "provable" then it can only degenerate into a simple promise of fairness.