[model-checking] Ещё по поводу плагиата