Reformulations