 Heyting later claimed that Kolmogorov’s meaning explanation and his own amounted to the same (Heyting 1958C: 107). By 1937, Kolmogorov seems to have come to believe the same, as in a review in the Zentralblatt of an exchange between Freudenthal and Heyting (discussed in Section 1 of the supplementary document  Objections to the Proof Interpretation), he consistently speaks of “intention or problem” (Kolmogorov 1937). In that exchange itself, Freudenthal (1937: 114) had said that between Heyting’s and Kolmogorov’s explanations there was “no essential difference”. Finally, Oskar Becker, in a letter to Heyting of September 1934, had remarked that Heyting’s interpretation is a generalization of Kolmogorov’s, as a “problem” and its “solution” are special cases of an intention and its fulfillment. “Intuitionistic logic is therefore a ‘calculus of  intentions’”.[30]