Mark_Friedenbach comments on Concept Safety: What are concepts for, and how to deal with alien concepts