Gunnar_Zarncke comments on Systems that cannot be unsafe cannot be safe