some reformulations