This paper examines security design in imperfectly competitive markets in which assets clear separately rather than jointly. Derivatives are generally nonredundant even with zero asset supply. We characterize the scope for introducing nonredundant derivatives and examine the welfare effects of...