Martin-2 comments on Semantic Stopsigns