Efficient Institutions and Effective Deterrence: On Timing and Uncertainty of Formal Sanctions