T:s logik , iali