Provability/Stability