... had to think about it, but that makes sense. It usually helps me to think of "provable" instead of "true". So, not-not-provable doesn't necessarily imply

... had to think about it, but that makes sense. It usually helps me to think of "provable" instead of "true". So, not-not-provable doesn't necessarily imply provable (since it could just be an open question). But, provable does imply not-not-provable (since by definition it isn't unprovable). So, I should have said, "do you believe not-not-A implies A?" without the initial assumption that A is true (which, ironically, I added later in a comment edit thinking I was adding clarity...)