Stuart_Armstrong comments on Intertheoretic utility comparison