@pandapuzzles: So we reduce