The Inter-Deducibility of the New Hilbert-Bernays Theory and Principia Mathematica