“…However, the unifying functional interpretation programme has so far been unable to capture the two more recent families of functional interpretations, namely the bounded functional interpretations [6,10,11,12], and the Herbrandized functional interpretations [3,9].…”