[Reduction] #556-558: open