[model-checking] Две новости