Jerry Leiber and Mike Stoller Jerry Leiber and Mike Stoller Lyricist Jerome Leiber (April 25, 1933 – August 22, 2011) and composer Michael Stoller; (born March 13, 1933) were American songwriting and record producing partners. They found success as the writers of such crossover hit songs as "Hound Dog" (1952) and "Kansas City" (1952). Later in the 1950s, particularly through their work with The Coasters, they created a string of ground-breaking hits—including "Young Blood" (1957), "Searchin'" (1957), and "Yakety Yak" (1958)—that used the humorous vernacular of teenagers sung in a style that was openly theatrical rather than personal. They were the first to surround black
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