Stuart_Armstrong comments on Semantic Stopsigns