Definition, synonyms and related words
The formulas on the right-hand side of a sequent.
That succeeds; succeeding, following