 If one combines the D-interpretation with the Kolmogorov-Gentzen-Gödel negative translation of PA into HA one also arrives at an interpretation of PA in \({T}\). Some interesting consequences of the latter are that the consistency of PA follows finitistically from the consistency of \({T}\) and that every total recursive function of PA is denoted by a term of \({T}\).