Change the labels, undo infinitely good improvements — LessWrong