Kaj_Sotala comments on ErioirE’s shortform: