Логика_первого_порядка loading ...