It is time to think about theoretical Computer Science

I have somehow committed the wrong file.