gjm comments on Semantic Stopsigns