 The three principles ACft, IPft and MPft which figured in the D-translation actually characterize the D-translation in the sense that over the quantifier extension of \({T}\) with intuitionistic logic, called \(\bHA^{\omega}\), they are equivalent to the schema 