di U : t (X