This paper identifies technical conditions that are common in contract-theory models or that matter for dynamic structural models but not necessarily static structural models. When possible, tests for the conditions are provided as well. Conditions include the Spence-Mirrlees condition,...