 A possibly serious challenge to the thought that Harmony is the central feature of an adequate logic comes from considerations on identity. The introduction and elimination rules for identity are usually seen as in  figure 11.