Ix t * : tr;