Stuart_Armstrong comments on A permutation argument for comparing utility functions