We compare two tradable permit markets in their ability to meet a safety first environmental target at least cost when some polluters have stochastic, correlated, and non-measurable emissions. In both markets, the point source permit defines the allowable level of the observed (deterministic)...