[model-checking] Проблемы с рассылкой