  We attempt to answer a question of D. C. Ravenel's: "Infinite loopspace
theorists, where are you?", or more prosaically: Can one start from the notion
of Ring Spectrum Representing [Formal Group Laws] (the functor) and arrive at
Complex Cobordism? Our answer is a tentative "sort-of".
