Модальная_логика loading ...