We develop a business cycle model with gross flows of firm creation and destruction.The credit market is characterized by two frictions. First,entrepreneurs undergo a costly search for intermediate funding to create a firm. Second, upon a match, a costlystate-verification contract is set up....