A Position in Theoretical Computer Science