Формальные_методы loading ...