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 Axiom of pairing In axiomatic set theory and the branches of logic, mathematics, and computer science that use it, the axiom of pairing is one of the axioms of Zermelo–Fraenkel set theory. It was introduced by as a special case of his axiom of elementary sets. In the formal language of the Zermelo–Fraenkel axioms, the axiom reads: or in words: or in simpler words: What the axiom is really saying is that, given two sets "A" and "B", we can find a set "C" whose members are exactly "A" and "B". We can use the axiom of extensionality to show