Kaj_Sotala comments on [SEQ RERUN] Semantic Stopsigns