The Theory of Institutional Design: The Informal Logic of Institutional Design