We compare two tradable permit markets in their ability to meet a stated environmental target at least cost when some polluters have stochastic and non-measurable emissions. The environmental target is of the safety-first type, which requires probabilistic emissions control. One market is built...