Halevy, Halivni and The Oral Formation of the Babylonian Talmud