Stuart_Armstrong comments on Double indifference is better indifference