Una $\mathrm{\Delta }$-tautologia è una tautologia del tipo $H\to K$ avente un solo interpolante di Craig $J$, a meno di equivalenza logica. Utilizzando misure di complessità relative al problema di trovare tale $J$, mostriamo come si possano ottenere limiti non uniformi di complessità mediante limiti uniformi, e viceversa.