Дедуктивная_система loading ...