Лекция 3. С.Л. Кузнецов. Нормальная стратегия редукций