Links for sequent