Some reformulations