«Мы видели на курсе много примеров кода с проблемами, но нам не хватает единой терминологии».

«Цель следующего раздела — ввести термины, которые описывают многие понятия, о которых мы думали».

• неопределённое поведение
• корректный (sound)
• некорректный (unsound)

«Поскольку многие предусловия безопасности семантические, а не синтаксические, важно пользоваться общим словарём. Так мы сможем договориться о смысле».

«Общая цель — выработать ментальную модель того, что такое корректность (soundness), и убедиться, что код на Rust с unsafe остаётся корректным».