Propositional combinations of S-sentences in Heyting's arithmetic door A. Visser