Before revision: Harmony, then, refers to certain constraints that a proof theory 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 let hold between introduction and elimination rules for it to be meaningful, or in other words, for its inference rules to be meaning-constituting.