The Mussa Theorem (and other results on IMF-induced moral hazard)