In this paper we show how to introduce a conditional to Kripke’s theory of truth that respects the deduction theorem for the consequence relation associated with the theory. To this effect we develop a novel supervaluational framework, called strong Kleene supervaluation, that we take to be a promising framework for handling the truth-conditions of non-monotone notion in the presence of semantic indeterminacy more generally.