  We would have to specify whether it is introduction or elimination rules, or both, that are to characterize the meanings of logical constants.[22]  (In a sequent formulation, we would have to distinguish between right and left introduction and elimination rules.)