t ’ : t;