Extensional adequacy, properly construed, already entails that a provability predicate captures the ...