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"..