Malmesbury comments on The computational complexity of progress