Theory-of-computing