Text this: Sequent Calculi for First-order ST.