Wrote PROVABILITY.md