Reductions and reformulations, May-August 2023