Kaj_Sotala comments on Sherrinford’s Shortform