Assertion: harmony | /r/UsedFor | refer to certain constraints
Facets:
Source sentences:
text: 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.