So after reading this, is it correct to say that Ritchie basically showed in his thesis the application of the for loop for recursive prime number computation and also its application to computational complexity? AFAIK for loops where already known at the time since they first appeared in ALGOL a little earlier?