ike comments on What’s going on with “provability”?