[model-checking] Предупреждён -- значит вооружён