Drawing on classical insights from mechanism design, we show that ex post efficient mechanisms induce agents to make efficient ex ante investment choices if and only if they are strategy-proof. For mechanisms that fail to be exactly strategy-proof and/or efficient, we derive a correspondence...