Kaj_Sotala comments on I object (in theory)