jacob_cannell comments on The computational complexity of progress