reformulations & corrections