 In 1928, he added to this the consistency of finite conjunctions of instances of PEM, and considered these results to “offer some encouragement” for the formalist project of a consistency proof (Brouwer 1928A2: 377 [Mancosu 1998:  43]).[12]  The strongest statement based on these results he made at the end of the first Vienna lecture from 1928: