g , e , ¬ fstar