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 of set theory. Nevertheless, in the standard formulation of the Zermelo–Fraenkel set theory, the axiom of pairing follows from the axiom schema of replacement applied to any given set with two or more elements, and thus it is sometimes omitted. The existence of such a set with two elements, such as { {}, { {} } }, can be deduced either from the axiom of empty set and the axiom of power set or from the axiom of infinity. Together with the axiom of empty set and the axiom of union, the axiom of pairing can be generalised to the