.

The "precedents" with respect to

are the sequents with respect to the converse of

.

The "upper limits" of

with respect to