I still don’t get it… Why does Provable(Provable(S)) lead to Provable(S)?
Sorry, my error. Two errors, even. I’ll think more.
I still don’t get it… Why does Provable(Provable(S)) lead to Provable(S)?
Sorry, my error. Two errors, even. I’ll think more.