r , t ¬,