are the sequents provided

has no maximum; but if

has a maximum, it has no upper limits.

The "lower limits" with respect to

are the upper limits with respect to the converse of

.