Characterizing Provability in