The theory of computation is beautiful