t ¬ t - r , a ch.