This will present some further thoughts on the topic of Richard Wood’s 1978 paper. I will look at procomonads and their categories of algebras in the sense of the 1971 PhD thesis of Michel Thiébaud.