Important reformulations