Chicago Journal of Theoretical Computer Science