For finitely axiomatized sequential theories F and reflexive theories R, we give a characterization of the relation ’F interprets R’ in terms of provability of restricted consistency statements on cuts. This characterization is used in a proof that the set of ${\prod }_1$ (as well as ${\sum }_1$) sentences π such that GB interprets ZF+π is ${\Sigma }_3^0$-complete.