Ви не пишете твердження, розуміючи кожен вектор атаки. Ви пишете твердження, визначаючи кожен зламаний стан.