Формальная_спецификация loading ...