Before revision: Harmony, then, refers to certain constraints that a proof system must let hold between introduction and elimination rules for it to be meaningful, or in other words, for its inference rules to be meaning-constituting.
After revision: Harmony, then, refers to certain constraints that a proof system must require to hold between introduction and elimination rules in order for the proof system to be meaningful, or in other words, for its inference rules to be meaning-constituting.