So in particular, he says in this article, "On the basis of the issues discussed here, I propose that members of SlGACT," this is the special interest group of the ACM, which is concerned with theoretical computer science, in particular the analysis of algorithms. 