Vladimir_Nesov comments on Why safety is not safe