Stuart_Armstrong comments on Predicted corrigibility: pareto improvements