 The name “BHK-Interpretation” was coined by Troelstra (1977: 977), where “K” initially stood for “Kreisel” (because of Kreisel 1962), later for “Kolmogorov”, e.g., in Troelstra 1990: 6;  this replacement is, in keeping with Sundholm’s point, a correction.