 Hence, the instances of soundness (reflection principle) provable in a system are exactly the ones which concern sentences which are themselves provable in the system. As a consequence, this also settles Henkin’s original problem: assuming that the arithmetized provability predicate is again “normal” (i.e., satisfies Löb’s derivability conditions), all sentences “asserting their own provability” are provable.