 By modifying the definition of a Kripke model to allow “exploding nodes” which force every sentence, Veldman [1976] and de Swart [1976] independently found completeness proofs using only intuitionistic logic. However, Veldman questioned whether Kripke models with exploding nodes were intuitionistically meaningful mathematical objects.