Deleting T1 redundancies