Kaj_Sotala comments on Contra double crux