 The introduction and elimination rules for any logical operator have to be in a certain kind of equilibrium, an equilibrium that lends itself to an interpretation of the rules as matching the inferential obligations of any responsible, rational and sincere speaker to the inferential entitlements of any responsible, rational and trusting  listener.[42] 