Stuart_Armstrong comments on The ground of optimization