Логика_высказываний loading ...