t sequent