Another slight reformulations