st t : a Itr t: