x =  ture