Kaj_Sotala comments on Internalizing Internal Double Crux