t r , ¬r