Or is anyone tempted to bite this bullet and claim that we should apply pre-rationality to our utility functions as well?
Yup. (Or something like it.)
Yup. (Or something like it.)