piero comments on Consistent extrapolated beliefs about math?