Jerry Leiber and Mike Stoller written by Leiber and Stoller). In the 1960s, Leiber and Stoller founded and briefly owned Red Bird Records, which issued The Shangri-Las' "Leader of the Pack" and The Dixie Cups' "Chapel of Love". After selling Red Bird, they continued working as independent producers and songwriters. Their best known song from this period is "Is That All There Is?" recorded by Peggy Lee in 1969; it earned her a Best Female Pop Vocal Performance Grammy. Earlier in the decade, they had had a hit with Lee with "I'm a Woman" (1962). Their last major hit production was "Stuck in the Middle
Axiom of pairing then produces the desired result, {"A","A","A"}. We can extend this schema to include "n"=0 if we interpret that case as the axiom of empty set. Thus, one may use this as an axiom schema in the place of the axioms of empty set and pairing. Normally, however, one uses the axioms of empty set and pairing separately, and then proves this as a theorem schema. Note that adopting this as an axiom schema will not replace the axiom of union, which is still needed for other situations. Another axiom which implies the axiom of pairing in the presence of the