No se escriben afirmaciones entendiendo cada vector de ataque. Escribes afirmaciones definiendo cada estado pirateado.