My effort to learn more formal theory about computer science.